Herzlich willkommen zu Grundlagen der Logik und Logikprogrammierung.

Mein Name ist Lutz Schröder, ich bin der neue Inhaber des Lehrstuhls 8 Theoretische Informatik.

Hier vorne in der zweiten Reihe sehen Sie Sergej Goncharow, als akademischer Rat am Lehrstuhl arbeitet.

Er wird die Übungen zu diesem Kurs betreuen.

Wir haben vorhin die Anmeldung zu den Übungsgruppen im Univis freigeschaltet.

Das läuft über meinen Campus, hoffe ich jedenfalls.

Als wir es vorhin nachgeschaut haben, konnte man es noch nicht sehen.

Wir hoffen, es wird im Laufe des Tages noch sichtbar.

Es sollte ab heute 18 Uhr laufen, bis einschließlich Sonntag.

Deswegen so knapp, weil die Übungen am Dienstag schon beginnen.

Wir haben das schon aufgeteilt.

Windhundverfahren.

Ich kann da Windhundverfahren oder Losverfahren auswählen.

Was soll man tun?

Ab 18 Uhr.

Wenn es Windhundverfahren ist, kann man das auf 21 Uhr ändern.

Ich kann das versuchen.

Das war der Vorschlag 9 Uhr abends.

Wir versuchen das zu ändern.

Die Modalitäten sind vielleicht bekannt.

Anders als das im Studienführer steht nach neuerer Regelung.

Im Wesentlichen kein Übungsschein.

Wenn es einen Übungsschein gibt, ist es ein Formaler.

Der Kurs wird bestanden durch Bestehen der Klausur.

Die Übungen werden traditionfolgend noch nicht korrigiert.

Die Übungen bearbeiten Sie zu Hause.

Sie werden in den Übungsgruppen besprochen.

Wenn keiner sie gelöst hat, werden sie vom Übungsleiter vorgerechnet.

Es gibt Überraschungsklausuren.

Es gibt auch Miniklausuren.

Mit der Miniklausur kann man die Klausurnot aufbessern.

Man kann die Klausur nicht bestehen, wenn man sie sonst nicht bestanden hätte.

Sobald man das geschafft hat, kann man mit den Ergebnissen der Miniklausuren

seine Klausurnote aufbessern.

Es gibt 0,3 Punkte pro erfolgreich absolvierter Miniklausur.

Das sind insgesamt 0,9 Noten.

Der erste Übungszettel wird heute Abend noch online gestellt.

Es gibt nicht so richtig Material, auf dem der beruhen kann.

Der Übungszettel ist so gestaltet, dass der durchschnittliche Zeitungsleser

ihn auch bearbeiten könnte.

Es sind Logikrätsel, die zunächst nach Spielerei aussehen.

Die werden einen Bezug zu den Logiken haben, die wir abhandeln.

Mit automatisierter, logischer Werkzeuge kann man diese Aufgaben sehr effizient erschlagen.

Das, was man jetzt aber zu Fuß machen soll.

Das war der Zettel.

Die Modalitäten der Vorlesung sind im Wesentlichen reiner Tafelanschrieb.

Es kann sein, dass ich einzelne Foliensätze zur Wiederholung veröffentliche.

Die werden aber nicht den Inhalt der Vorlesung wiedergeben.

Der Inhalt der Vorlesung ist der Tafelanschrieb.

Materialien zur Vorlesung, insbesondere das ab heute Abend zur Verfügung stehende Übungsblatt,